(width - border_thickness